WSML Deliverable D 20 . 3 v 0 . 1 OWL Flight
نویسندگان
چکیده
We introduce OWL Flight, an extension of OWL− (a subset of OWL, which can be translated to Datalog) with different kinds of constraints and a form of the local closed-world assumption, as well as support for datatypes based on the OWL-E datatypes extension for OWL. The resulting language can be evaluated on a Datalog engine with support for integrity constraints, inequality (in the rule body) and default negation. OWL Flight will form the basis for the WSML-Flight concrete syntax and will also form the basis for rule extensions, which can be straightforwardly added because OWL Flight is defined in terms of a rule language. Copyright c © 2004 DERI R © , All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply. D20.3 – OWL Flight 3
منابع مشابه
WSML Deliverable D 20 . 1 v 0 . 2 OWL Flight WSML Working Draft
This deliverable presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Lite−. OWL Lite− is a strict subset of OWL Lite and can be translated directly into the deductive database language Datalog. Thus, any OWL Lite− ontology can be translated into Datalog, in order to allow for efficient query answering. It turns out that most current ontologies fall ins...
متن کاملWSML Deliverable D 20 v 0 . 1 OWL Lite −
This deliverable presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Lite−. OWL Lite− is a strict subset of OWL Lite and there exists a direct translation into the deductive database language Datalog. Thus, any OWL Lite− ontology can be translated into Datalog in order to allow for efficient query answering. It turns out that most current ontologies fa...
متن کاملWSML Deliverable D 20 v 0 . 1 OWL Light − WSML Working Draft
This paper presents a restricted variant of the OWL Lite species of the OWL ontology language, called OWL Light−. OWL Light− is a strict subset of OWL Lite, which falls within the Description Logic Programming (DLP) language L0. Thus, any ontology in OWL Light− can be translated into Datalog in order to allow for efficient query answering. It turns out that most current ontologies fall inside t...
متن کاملWSML Deliverable D 16 . 2 v 0 . 2 WSML Reasoning Implementation
This deliverable will provide reasoner implementations for the variants of the WSML family of languages. In its current version, this deliverable lists the requirements posed by the different WSML variants on the reasoner implementation and provides a survey of existing reasoners. The reasoners surveyed in this deliverable range from logic programming engines to description logic reasoners and ...
متن کاملWSML Deliverable D 16 . 2 v 0 . 2 WSML Reasoner Survey
This deliverable provides a survey of different reasoner implementations and discusses their applicability as reasoners with ontologies written in either of the five WSML variants. At first, the requirements each of the WSML variants have on a reasoner are described. Afterwards, we survey interesting and promising reasoner implementations with regard to their applicability on ontologies written...
متن کامل